Bio-ontologies are essential tools for accessing and analyzing the rapidly growing pool of plant genomic and phenomic data. Ontologies provide structured vocabularies to support consistent aggregation of data and a semantic framework for automated analyses and reasoning. They are a key component of the Semantic Web. This paper provides background on what bio-ontologies are, why they are relevant to botany, and the principles of ontology development. It includes an overview of ontologies and related resources that are relevant to plant (...) science, with a detailed description of the Plant Ontology (PO). We discuss the challenges of building an ontology that covers all green plants (Viridiplantae). Key results: Ontologies can advance plant science in four keys areas: 1. comparative genetics, genomics, phenomics, and development, 2. taxonomy and systematics, 3. semantic applications and 4. education. Conclusions: Bio-ontologies offer a flexible framework for comparative plant biology, based on common botanical understanding. As genomic and phenomic data become available for more species, we anticipate that the annotation of data with ontology terms will become less centralized, while at the same time, the need for cross-species queries will become more common, causing more researchers in plant science to turn to ontologies. (shrink)

This chapter examines the role of shopfloor knowledge in the operation of advanced manufacturing systems. Design trends towards full automation are contrasted with those toward hybrid, human-centred systems with particular emphasis on job design and the development and reproduction of knowledge. The chapter concludes with a short discussion of the problems inherent in hybrid design.

This paper views the impact of automation and new globalization phenomenon, outsourcing on sustainable economic growth. Its main scope is to analyze the impacts of advanced automation and offshore outsourcing in manufacturing on a human capital and an acceleration of structural unemployment. Simultaneously, in the paper are compared two concepts by which a company can tend to attain a position of manufacturing excellence. Further is given a special emphasis to the automation driven shrinking of (...) the middle class in countries that are passing to the phase of deindustrialization. Finally some laws of automation in manufacturing are formulated and few ideas and recommendations for the future are outlined. (shrink)

Elgar Advanced Introductions are stimulating and thoughtful introductions to major fields in the social sciences, business and law, expertly written by the world's leading scholars. Designed to be accessible yet rigorous, they offer concise and lucid surveys of the substantive and policy issues associated with discrete subject areas. This concise and engaging Advanced Introduction provides the conceptual tools necessary to make ethical decisions in today's business world. John Hooker provides an objective and closely-reasoned analysis of ethical issues (...) based on a unified conceptual framework that distils the best of ethical thought into three clearly articulated principles: the generalization, utilitarian, and autonomy principles. Key features include: examples and case studies that illustrate ethical reasoning in complex business dilemmas exploration of business ethics in relation to environmental, social, and financial sustainability factors coverage of cross-cultural business ethics, technological unemployment, and the ethics of artificial intelligence and machine learning. This Advanced Introduction will be a valuable resource for academics and advanced students of business ethics and trust, business leadership, and corporate social responsibility. It will also be beneficial for business managers who wish to build an ethical organization, as well as technical personnel who incorporate ethics into automated systems. (shrink)

Research represents an avenue through which patients can contribute to the knowledge base surrounding their condition. However, persons with dementia cannot legally consent to participation in most scientific research. One possible avenue to preserve patient autonomy in the sphere of research is through an advance planning document. Scholars of medicine, ethics, and law have largely approached this topic from a theoretical angle, compelling the authors to develop and implement a tangible research-specific advance planning tool. In order to inform the creation (...) of this novel legal instrument, the present study leveraged semistructured telephone interviews with cognitively intact older adults in the Upper Connecticut River Valley region of New Hampshire. Participants were prompted to reflect on their attitudes toward participation in scientific research, should they develop dementia. They were also asked to consider the possibility of incorporating research into their advance planning regime, their preferred format for a research-specific advance planning tool, and the potential relationship between an advance planning tool and their surrogate decision maker in the context of research participation. Qualitative analysis was employed to extract themes from interview responses, revealing a pervasive desire for an advance planning tool that embraces specificity, flexibility, practicality, and the integral role of the surrogate decision maker. Ultimately, through collaboration with physicians and an elder law attorney in the region, these findings were translated into a research-specific advance planning component within the Dartmouth Dementia Directive. (shrink)

In this paper, I build on Wittgenstein’s metaphor of a toolbox to introduce the metaphor of ‘tool confusion’ – how differing conceptual constructs may be applied, or misapplied, to one another and the effect that such applications have on the advancement of management theory. Moving beyond metaphor, I investigate a theory of management through two specific philosophical lenses (Popper and Lyotard). This analysis tests both the theory and the philosophies with regard to how each philosophy may be applied as a (...) tool to advance theory towards more effective application. Preliminary conclusions confirm that the application of partial philosophies is not as useful as the application of complete philosophies. Deeper contemplation, however, suggests that there is no upper limit to the completeness of philosophies. Thus, the problem of completeness is inescapable. In place of completeness, I explore the use of perceptual tools that are more specific, foundational and concise. Engaging in a second investigation, I use structures of logic (circular, linear, branching and co-causal) to investigate the subject theory. This investigation suggests at least two important insights relating to the structure of theory and the fuzziness of theory. Combined, these investigations and related conversations suggest rigorous methods for advancing theories and a more normative role for the philosophy of management that will support the accelerated advancement of management theory and practice. (shrink)

It used to be that the touchstone of objectivity was the elimination of subjective features, like our values, biases, assumptions, and so on. Part of what motivates this narrow conception of objectivity is the thought that objective reality is the way that it is regardless of our relationship to it, and that our ability to accurately describe or depict this reality is distorted by this relationship. But what if that understanding is wrong, and removing these features takes us farther away (...) from truth and knowledge, rather than closer to them? This is the claim I advance. In this article, I trace this narrow conception to its political origins, and advance a broader understanding of objectivity that reimagines a new use for, rather than ignoring entirely, features that are thought to be subjective. (shrink)

The Sleeping Beauty transposon system is a nonviral DNA transfer tool capable of efficiently mediating transposition‐based, stable integration of DNA sequences of choice into eukaryotic genomes. Continuous refinements of the system, including the emergence of hyperactive transposase mutants and novel approaches in vectorology, greatly improve upon transposition efficiency rivaling viral‐vector‐based methods for stable gene insertion. Current developments, such as reversible transgenesis and proof‐of‐concept RNA‐guided transposition, further expand on possible applications in the future. In addition, innate advantages such as lack of (...) preferential integration into genes reduce insertional mutagenesis‐related safety concerns while comparably low manufacturing costs enable widespread implementation. Accordingly, the system is recognized as a powerful and versatile tool for genetic engineering and is playing a central role in an ever‐expanding number of gene and cell therapy clinical trials with the potential to become a key technology to meet the growing demand for advanced therapy medicinal products. (shrink)

Machine learning (ML) is increasingly used to enhance production systems and meet the requirements of a rapidly evolving manufacturing environment. Compared to larger companies, however, small- and medium-sized enterprises (SMEs) lack in terms of resources, available data and skills, which impedes the potential adoption of analytics solutions. This paper proposes a preliminary yet general approach to identify low-cost analytics solutions for manufacturing SMEs, with particular emphasis on ML. The initial studies seem to suggest that, contrarily to what is (...) usually thought at first glance, SMEs seldom need digital solutions that use advanced ML algorithms which require extensive data preparation, laborious parameter tuning and a comprehensive understanding of the underlying problem. If an analytics solution does require learning capabilities, a ‘simple solution’, which we will characterise in this paper, should be sufficient. (shrink)

Few accounts have survived detailing the techniques employed for the production of optical glass for astronomical and microscopical instruments during the seventeenth century in Italy; the period during which the art was being developed in the shops of Eustachio Divini and Giuseppe Campani, and other optical instrument-makers. Indeed, few of the tools of the lens-makers have been described in any detail, and few if any have survived. Consequently, the discovery of a hitherto apparently unknown Italian treatise, or (...) what appears to have been notes for a shop manual of the period, is a contribution to present knowledge of lens-making technology even though the identity and region of the author remain unknown. (shrink)

The automobile is a tool like no other. There is much excitement and enthusiasm for new and emerging transportation tools such as vehicle automation and driver assistance systems. Although there are high hopes for these technologies, there are many unknowns including the extent to which these new transportation tools can realistically and reliably improve driver safety and affect the subjective driving experience. This paper explores these questions in the context of evaluating collision warning systems on the behavior (...) and perceptions of drivers with different amounts of experience and places the results in the greater context of tool use and skilled learning focusing on the adoption and utilization of mental models. (shrink)

A psychiatric advance directive (PAD) is a communication tool that promotes patients’ autonomy and gives capacitated adults who live with serious mental illnesses the ability to record their preferences for care and designate a proxy decision maker before a healthcare crisis. Despite a high degree of interest by patients and previous studies that recommend that clinicians facilitate the completion of PADs, the rate of implementation of PADs remains low. Research indicates that many clinicians lack the necessary experience to facilitate the (...) completion of PADs and to use them, and, as a consequence, do not effectively engage patients about PADs. This study developed practical recommendations for clinicians to improve their ability to communicate and facilitate PADs. We (1) thematically analyze definitions of PADs published in 118 articles across disciplines, and (2) present our recommendations for enhanced communication in clinical practice that emphasize patient-centeredness, usefulness, and clarity, aligned with evidence-based practices that put patients’ autonomy and understanding first. While there is no one-sizefits- all script to engage patients in complex conversations, our recommended strategies include an emphasis on patients’ autonomy, the adaptation of word choices, the use of metaphor not simile, and checking for patients’ understanding as effective methods of clinical communication. (shrink)

Of all possible future agents with greater‐than‐human intelligence, the one that stands out as the most potentially powerful is sophisticated artificial intelligence (AI). An AI might have millions of processors, all of them hundreds of millions of times faster than biological neurons. Historical focus on molecular nanotechnology in the context of explosive AI growth is unfortunate because the use of nanotechnology for mass manufacturing and the creation of rapid infrastructure are so highly speculative. For an AI on a growth (...) tangent, the primary objective would be to bridge from Internet influence to using humans as tools, and eventually to using robots as tools. Robots connected to the Internet could take as much advantage of the full cognitive resources of the core AI as bandwidth and computing budgets permit. This chapter contributes a concrete model of self‐improving AI that provokes further thought. (shrink)

In the context of climate change, the fallout from the COVID-19 pandemic, growing food insecurity, and rising inflation, the inequities in the dominant food system and subsequent vulnerabilities are being made ever more visible. Policies and programs that can support social and economic security while responding to intensifying environmental challenges are urgently needed. Basic income is receiving increasing attention as one such policy tool in jurisdictions around the world. However, its applications to food systems are underdeveloped. This discussion paper considers (...) basic income as a policy tool for supporting food systems sustainability in Canada drawing on our collaborative research as part of Coalition Canada’s Case for Basic Income Series. We suggest that a basic income may contribute to addressing precarity in livelihoods and food access while offering potential co-benefits for local food production and community well-being. We also underscore that basic income is not a panacea for all problems facing food systems and must be considered alongside other public supports and initiatives. We conclude by identifying areas for further research and policy investigation for food systems scholars and practitioners. (shrink)

Our country’s equipment manufacturing industry ranks among the best in all developing countries, but compared with developed countries, there is still a long way to go. It is not only the backwardness of various technologies, but also the interference of other countries. Although our country's equipment manufacturing industry is not as advanced as the advanced technology of developed countries, we still have to stick to our original aspirations, do not underestimate ourselves, and be good at absorbing (...) and learning from the strengths of others to make up for our own weaknesses. While not working behind closed doors and while absorbing technology from other countries, we can make use of our strengths to make up for our weaknesses and develop our own industrial technology. This paper studies the evolution trend of innovation network structure and at the same time studies the evolution mechanism of advanced equipment manufacturing innovation network structure from the perspective of complex systems. The explained variable in this article is green total factor productivity. The variable adopts the Malmquist–Luenberger global super-efficiency index model. There are two main explanatory variables. One is the heterogeneity that affects the efficiency of industrial evolution, including factor heterogeneity, structural heterogeneity, and environmental heterogeneity, and the other is the interaction term of equipment manufacturing specialization agglomeration degree dummy variable multiplied by factor heterogeneity. The regional economic development level is added to the model as a control variable. In the selection of measurement indicators, the per capita GDP is used as the control variable. The experimental results show that each sample is tested in pairs, and the standard error level of the mean is 0.018, which is less than 0.05, indicating that the efficiency of the equipment manufacturing industry’s economic correlation spatial network has a significant impact on the overall economic development level of the industry. The reduction in spur helps to increase economic output. (shrink)

We introduce here evoText, a new tool for automated analysis of the literature in the biological sciences. evoText contains a database of hundreds of thousands of journal articles and an array of analysis tools for generating quantitative data on the nature and history of life science, especially ecology and evolutionary biology. This article describes the features of evoText, presents a variety of examples of the kinds of analyses that evoText can run, and offers a brief tutorial describing how to (...) use it. (shrink)

The escalating number of pending cases is a growing concern worldwide. Recent advancements in digitization have opened up possibilities for leveraging artificial intelligence (AI) tools in the processing of legal documents. Adopting a structured representation for legal documents, as opposed to a mere bag-of-words flat text representation, can significantly enhance processing capabilities. With the aim of achieving this objective, we put forward a set of diverse attributes for criminal case proceedings. To enhance the effectiveness of automatically extracting these attributes (...) from legal documents within a sequence labeling framework, we propose the utilization of a few-shot learning approach based on Large Language Models (LLMs). Moreover, we demonstrate the efficacy of the extracted attributes in downstream tasks, such aslegal judgment prediction and legal statute prediction. (shrink)

Respect for and promotion of the human rights of people with HIV/AIDS is now an entrenched component of the global response to HIV. However, as the global HIV epidemic has turned into a global AIDS epidemic, and as the death toll mounts, one area of human rights—the right to health care—has become fiercely contested. In particular, the degree to which patents on medicines impede what the United Nations High Commissioner for Human Rights has described as the “human right” of access (...) to essential medicines is receiving close scrutiny. The controversy generated by a recent article that argues, “in Africa patents and patent law are not a major barrier to treatment access in and of themselves,” is indicative of the intensity of the debate. (shrink)

During the last years the demand for regionally and culturally harmonised machine design is increasingly on the agenda. The problem of localising products like machine tools instantly poses the question for new procedures that allow including the regional and cultural adaptations into the design processes of machine tool companies. How to transform the general insight into the necessity of culture- and region-adapted technologies and how to embed it into a design procedure comprising applicable design attributes is the crucial problem (...) addressed. The paper shows in an exemplary way how ambiguous design attributes can eventually be embodied in a prototype design. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Is Reason a Neutral Tool in Comparative Philosophy? In his answer to the symposium’s question, Jonardon Ganeri develops a »Manifesto for [a] Re:emergent Philosophy.« Tracking changes in the understanding of ›comparative philosophy,‹ he sketches how today’s world of academic philosophy seems to be set to enter an »age of re:emergence« in which world philosophies will be studied through modes of global participation. In their responses, the symposium’s discussants tease out implications of this Manifesto for different issues: While Mustafa (...) Abu Sway suggests that comparative philosophy be understood as an intra-philosophical dialogue, whose aim depends on its participants, Paul Boghossian questions whether there can be conflicting, yet equally valid, ways of arriving at justified beliefs about the world. For her part, Georgina Stewart draws out the similarities between Ganeri’s understanding of comparative philosophy and the ethical stance involved in studying Maori science. In his Reply, Ganeri fleshes out his understanding of a pluralistic realism. Only an epistemic culture, which is open to a plurality of epistemic stances, he contends, can propel polycentric modes of knowledge production. (shrink)

Computer Integrated Manufacturing (CIM) is faced with issues which are crucial to Computer Supported Cooperative Work (CSCW). However, despite the large amount of work on Enterprise Integration and its obvious links to the CSCW field, this domain is almost totally absent in the work of the CSCW community. Therefore, this paper is intended to contribute to the discussion on the relevance of CSCW in manufacturing and to combine new concepts for cooperative work with requirements for information system design (...) in production. Production related models, e.g., an order-driven mode of coordination, can be augmented with mechanisms of interaction for coordination, collaboration and co-decision and the design of customer/supplier chains. It is suggested, as one example, to use workflow management technology in advanced manufacturing for shop-floor production planning and control (PPC). The proposed enterprise model and support technology is especially useful for small-batch production. (shrink)

The incorporation of ethical settings in Automated Driving Systems (ADSs) has been extensively discussed in recent years with the goal of enhancing potential stakeholders’ trust in the new technology. However, a comprehensive ethical framework for ADS decision-making, capable of merging multiple ethical considerations and investigating their consistency is currently missing. This paper addresses this gap by providing a taxonomy of ADS decision-making based on the Agent-Deed-Consequences (ADC) model of moral judgment. Specifically, we identify three main components of traffic moral judgment: (...) driving style, traffic rules compliance, and risk distribution. Then, we suggest distinguishable ethical settings for each traffic component. (shrink)

In this paper, I explore the Guam Department of Education's (GDOE) decolonization efforts and the potential role of Philosophy for Children (P4C) as a strategic tool for its advancement. I begin with a discussion of Guam's colonial context and its implications for contemporary education on the island. While the GDOE's current attempts to decolonize Guam's public education emphasize the need for an "official body of knowledge," many CHamoru scholars and activists have argued that it is not enough. This paper agrees (...) that such content-based reforms are insufficient and advocates for a more nuanced approach to education through P4C. Drawing on the P4C literature and decolonial education, I argue that while P4C alone may not bring about structural change, its pedagogical framework offers a promising alternative when adapted to indigenous contexts. The paper proposes that P4C can serve as a "Trojan Horse" within public schools, fostering decolonial acts of resurgence by elevating indigenous knowledge, welcoming indigenous masters, and empowering CHamoru students within a Westernized educational setting. (shrink)

The emergence of the need for orientation since the past times led the universities to invent innovative ways to prepare their students for the activities and courses they will face. Hence, various types of orientation have been provided during history. However, today with the outbreak of the Covid-19 and the closure of the schools, most of the students are continuing their studies as distance learning. While this situation is very disappointing for all freshmen students who do not know the university's (...) atmosphere, it is extremely disruptive, specifically for the design ones, which are passing tactile courses, demanding being held face to face. This ascertains the research's problem as a need for an interactive solution for the issue to lessen the consequent problems. Game-based orientation (GBO) is a tool, engaging the freshmen students as players with the provided data in it, which are the essentials for a novel student to know before entering the university. It allows the student to be dealt with the school services, Istanbul Technical University in this case, and use them in terms of the game's tasks. The scoring system, the ultimate certificate, the leaderboard leading them to prizes, and the game's non-linearity will attract the students to use GBO frequently to finish it and experience all the possible scenarios. (shrink)

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take the theory of αβη-equality into (...) account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of (...) automated theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

Designing the future of work is crucial to the health and well‐being of people and societies. Experts predict that developments such as the advancement of digital technologies, automation, and the movement of manufacturing jobs to low‐wage countries will lead to major transformations in the labour market, and some foresee significant job losses. Due to the close relationship between employment and health, major job losses would have significant negative impacts on the health and well‐being of individuals and societies. Job (...) losses would also pose a major challenge to solidaristic support within societies because they would negatively affect the recognition of similarities among people, which is vital for solidaristic practice and institutions. To prevent these negative effects, a fundamental redesign of the relationship between work and income is necessary. And for this project to succeed, we need to reconsider of the value of work. Building on definitions of flourishing people and societies, we argue that the value of work should not be determined by the labour market, but according to its importance for society. Using a solidarity‐based framework we argue that such a re‐valuation of work will help to ensure social cohesion and increase reciprocity in our societies. It will serve as a foundation upon which we can reconfigure the relationship between work and income without risking the loss of social cohesion and solidarity. (shrink)

Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We describe research on automated methods of mineral identification from reflectance spectra and give evidence that a simple algorithm, adapted from a well-known search procedure for Bayes nets, identifies the most frequently occurring classes of carbonates with reliability equal to or greater than that of human experts. We compare the reliability of the procedure to the (...) reliability of several other automated methods adapted to the same purpose. Evidence is given that the procedure can be applied to some other mineral classes as well. Since the procedure is fast with low memory requirements, it is suitable for on-board scientific analysis by orbiters or surface rovers. (shrink)

Electric-mechanical equipment manufacturing industries focus on the implementation of intelligent manufacturing systems in order to enhance customer services for highly customized machines with high-profit margins such as electric power transformers. Intelligent manufacturing consists in using supply chain data that are integrated for smart decision making during the production life cycle. This research, in cooperation with a large electric power transformer manufacturer, provides an overview of critical intelligent manufacturing technologies. An ontology schema forms the terminology relationships needed (...) to build two intelligent supply chain management modules for the IM system demonstration. The two core modules proposed in this research are the intelligent supplier selection and component ordering module and the product quality prediction module. The intelligent supplier selection and component ordering module dispatches orders that match the best options of suppliers based on combined analytic hierarchy process analysis and multiobjective integer optimization. In the case study, the intelligent supplier selection and component ordering module demonstrates several acceptable Pareto solutions based on strict constraints, which is a very challenging task for decision makers without assistance. The second module is the product quality prediction module which uses multivariate regression and ARIMA to predict the quality of the finished products. Results show that the R square values are very close to 1. The module shortens the time for the company to accurately judge whether the two semifinished iron cores for the product meet the quality requirements. The component supplier selection module and the finished product quality prediction module developed in this research can be extended to other IM systems for general high-end equipment manufacturers using mass customization. (shrink)

How do we teach medical students to protect patients? My initial reaction to the question posed by Taylor and Goodwin was like first glimpsing ‘Jaws’: we’re going to need a bigger boat. The authors’ answer makes two important claims: first, that safety should be ethically sourced by better integration between teaching of safety and ethics; second, that teaching should encourage students to think about organisational failure rather than focusing on individual blame and personal responsibility to whistleblow.1 On the first, they (...) highlight how ethics teaching often sits apart from that on safety. For the second, they use the concept normalisation of deviance, with its contained idea of structural secrecy, to depict organisational failure that is argued as largely immune to whistleblowing. Why wouldn’t these challenges warrant a bigger boat? On their first claim: it is not just for safety, but throughout the curriculum that ethics teaching needs to be integral. Given coming challenges, it should become the cake rather than the icing. Consider, for example, that artificial intelligence stands to transform many knowledge-based professions, medicine among them. Tomorrow’s doctors will have a surfeit of data and automated decision aids at their fingertips. So, as far as they remain necessary, doctors will …. (shrink)

The idea that human cognition is, or can be understood as, a form of computation is a useful conceptual tool for cognitive science. It was a foundational assumption during the birth of cognitive science as a multidisciplinary field, with Artificial Intelligence (AI) as one of its contributing fields. One conception of AI in this context is as a provider of computational tools (frameworks, concepts, formalisms, models, proofs, simulations, etc.) that support theory building in cognitive science. The contemporary field of (...) AI, however, has taken the theoretical possibility of explaining human cognition as a form of computation to imply the practical feasibility of realising human(-like or -level) cognition in factual computational systems, and the field frames this realisation as a short-term inevitability. Yet, as we formally prove herein, creating systems with human(-like or -level) cognition is intrinsically computationally intractable. This means that any factual AI systems created in the short-run are at best decoys. When we think these systems capture something deep about ourselves and our thinking, we induce distorted and impoverished images of ourselves and our cognition. In other words, AI in current practice is deteriorating our theoretical understanding of cognition rather than advancing and enhancing it. The situation could be remediated by releasing the grip of the currently dominant view on AI and by returning to the idea of AI as a theoretical tool for cognitive science. In reclaiming this older idea of AI, however, it is important not to repeat conceptual mistakes of the past (and present) that brought us to where we are today. (shrink)

The Spiral Discovery Method was originally proposed as a cognitive artifact for dealing with black-box models that are dependent on multiple inputs with nonlinear and/or multiplicative interaction effects. Besides directly helping to identify functional patterns in such systems, SDM also simplifies their control through its characteristic spiral structure. In this paper, a neural network-based formulation of SDM is proposed together with a set of automatic update rules that makes it suitable for both semiautomated and automated forms of optimization. The behavior (...) of the generalized SDM model, referred to as the Spiral Discovery Network, and its applicability to nondifferentiable nonconvex optimization problems are elucidated through simulation. Based on the simulation, the case is made that its applicability would be worth investigating in all areas where the default approach of gradient-based backpropagation is used today. (shrink)

Neutron matter-wave optics provides the basis for new quantum experiments and a step towards applications of quantum phenomena. Most experiments have been performed with a perfect crystal neutron interferometer where widely separated coherent beams can be manipulated individually. Various geometric phases have been measured and their robustness against fluctuation effects has been proven, which may become a useful property for advanced quantum communication. Quantum contextuality for single particle systems shows that quantum correlations are to some extent more demanding than (...) classical ones. In this case entanglement between external and internal degrees of freedom offers new insights into basic laws of quantum physics. Non-contextuality hidden variable theories can be rejected by arguments based on the Kochen-Specker theorem. (shrink)

We present a distributed control modeling approach for an automated manufacturing system based on the dynamics of one-dimensional cellular automata. This is inspired by the fact that both cellular automata and manufacturing systems are discrete dynamical systems where local interactions given among their elements can lead to complex dynamics, despite the simple rules governing such interactions. The cellular automaton model developed in this study focuses on two states of the resources of a manufacturing system, namely, busy or (...) idle. However, the interaction among the resources such as whether they are shared at different stages of the manufacturing process determines the global dynamics of the system. A procedure is shown to obtain the local evolution rule of the automaton based on the relationships among the resources and the material flow through the manufacturing process. The resulting distributed control of the manufacturing system appears to be heterarchical, and the evolution of the cellular automaton exhibits a Class II behavior for some given disordered initial conditions. (shrink)

This book provides a critical reflection on automated science and addresses the question whether the computational tools we developed in last decades are changing the way we humans do science. More concretely: Can machines replace scientists in crucial aspects of scientific practice? The contributors to this book rethink and refine some of the main concepts by which science is understood, drawing a fascinating picture of the developments we expect over the next decades of human-machine co-evolution. The volume covers examples (...) from various fields and areas, such as molecular biology, climate modeling, clinical medicine, and artificial intelligence. The explosion of technological tools and drivers for scientific research calls for a renewed understanding of the human character of science. This book aims precisely to contribute to such a renewed understanding of science. (shrink)

Standpoint epistemology is committed to a cluster of views that pays special attention to the role of social identity in knowledge‐acquisition. Of particular interest here is the situated knowledge thesis. This thesis holds that for certain propositions p, whether an epistemic agent is in a position to know that p depends on some nonepistemic facts related to the epistemic agent's social identity. In this article, I examine two possible ways to interpret this thesis. My first goal here is to clarify (...) existing interpretations of this thesis that appear in the literature but that are undeveloped and often mistakenly conflated. In so doing, I aim to make clear the different versions of standpoint epistemology that one might accept and defend.This project is of significance, I argue, because standpoint epistemology provides helpful tools for understanding a phenomenon of recent interest: epistemic oppression. My second goal is to provide an analysis that makes clear how each of the readings I put forth can be used to illuminate forms of epistemic oppression. (shrink)

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy (...) for the alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (shrink)

Within the last decade, burgeoning interest in the intersection of epistemology and social issues has generated a new set of research questions. These questions range from the relevance of social identity, to peer disagreement, to debates on the significance of moral considerations to epistemic evaluations, to discussions of our epistemic practices and how those practices exclude certain agents and certain bodies of knowledge. Central in this new and emerging body of work is the realization that epistemology has more to do (...) than simply answer questions about what knowledge consists in; it must also acknowledge that our answers to these questions might be influenced by features we have previously failed to make space for. It is in this respect that we are witnessing a renewed interest in a theoretical approach long consigned to the margins of epistemology – that of standpoint epistemology. (shrink)

The manufacturing industry is evolving rapidly, becoming more complex, more interconnected, and more geographically distributed. Competitive pressure and diversity of consumer demand are driving manufacturing companies to rely more and more on improved knowledge management practices. As a result, multiple software systems are being created to support the integration of data across the product life cycle. Unfortunately, these systems manifest a low degree of interoperability, and this creates problems, for instance when different enterprises or different branches of an (...) enterprise interact. Common ontologies (consensus-based controlled vocabularies) have proved themselves in various domains as a valuable tool for solving such problems. In this paper, we present a consensus-based Additive Manufacturing Ontology (AMO) and illustrate its application in promoting re-usability in the field of dentistry product manufacturing. (shrink)

Viewing the development of French trade and manufacturing between 1650 and 1820, Jeff Horn underscores their great success based largely on overseas markets. His evidence supports the view of Friedrich Engels and Perry Anderson that capitalism developed within the pores of the Old Regime. Yet Horn attempts to deny the leading role of the bourgeoisie in this advance. He claims that it was through the Old Regime system of economic privileges rather than the agency of bourgeois capital accumulation that (...) such progress was made. This article rejects Horn’s exclusive preoccupation with the positive economic role of the privileges granted by the state. It reasserts the importance of the agency of the bourgeoisie in furthering economic development. Moreover, it contends that for all the economic gains made by the system of state privileges, such privileges were more than offset by the weight of rents on the peasantry and to the benefit of the nobility and Church imposed by this same regime of privileges. The distorted development that privileges imposed on economic and social life became an important factor behind the outbreak of the Revolution. (shrink)

The market’s demand for high-quality products necessitates innovative manufacturing approaches that emphasize flexibility, adaptability, and the reduction of defects. Traditional systems are currently evolving towards embracing I4.0 technologies, including data collection, processing, analytics and digital twin, aiming for zero-defect manufacturing quality. This paper introduces an open platform, compliant with RAMI4.0 standards, designed to improve manufacturing quality. The platform integrates data using Asset Administration Shells with microservices adaptation for data ingestion and advanced analytics. Additionally, it incorporates Non-Destructive (...) Inspection tools, demonstrating a seamless integration of measurement and quality assurance. This study details the architectural specification and validation of the openZDM platform, employing microservices to ensure flexibility, modularity and scalability, aligning with the RAMI4.0 model. The platform was validated through deployment in an automotive assembly line, highlighting its effectiveness in integrating inspection scenarios and early defect detection tools. The architecture employs a choreographed approach to manage loosely coupled microservices, enabling efficient data lifecycle management from collection through analytics to visualization. (shrink)

An embedding of many-valued logics based on SIXTEEN in classical higher-order logic is presented. SIXTEEN generalizes the four-valued set of truth degrees of Dunn/Belnap’s system to a lattice of sixteen truth degrees with multiple distinct ordering relations between them. The theoretical motivation is to demonstrate that many-valued logics, like other non-classical logics, can be elegantly modeled (and even combined) as fragments of classical higher-order logic. Equally relevant are the pragmatic aspects of the presented approach: interactive and automated reasoning in many-valued (...) logics, which have broad applications in computer science, artificial intelligence, linguistics, philosophy and mathematics, become readily enabled with state of the art reasoning tools for classical higher-order logic. (shrink)

Technologic advances mean automated, wearable cameras are now feasible for investigating health behaviors in a public health context. This paper attempts to identify and discuss the ethical implications of such research, in relation to existing guidelines for ethical research in traditional visual methodologies. Research using automated, wearable cameras can be very intrusive, generating unprecedented levels of image data, some of it potentially unflattering or unwanted. Participants and third parties they encounter may feel uncomfortable or that their privacy has been affected (...) negatively. This paper attempts to formalize the protection of all according to best ethical principles through the development of an ethical framework. Respect for autonomy, through appropriate approaches to informed consent and adequate privacy and confidentiality controls, allows for ethical research, which has the potential to confer substantial benefits on the field of health behavior research. (shrink)

Herculaneum papyri found during the discovery of the Villa dei Papiri in the XVIII century are our only knowledge about Greek philosophical schools. Unfortunately, the original manuscripts are in a precarious state of conservation and the currently available editions of them have largely been made obsolete by the latest technological progress. The aim of the Advanced Grant ERC project ‘Greekschools’ is to provide a new protocol based on optical methods to increase the text reading and thus allow for (...) a new critical edition of the whole treatise of Philodemus’ "Arrangement of the Philosophers". A multi-disciplinary approach is adopted and non-invasive techniques to Herculaneum papyri investigations such as Macro X-Ray Fluorescence Imaging (MA-XRF), Shortwave-Infrared Hyperspectral Imaging (SWIR), high resolution digital microscopy and Technical Photography were applied to read the text hidden on the verso, detect, classify, and replace overlapping layers and read the text concealed inside them. In this work some first preliminary results will be reported. (shrink)

Optic neuropathies are conditions that cause disease to the optic nerve, and can result in loss of visual acuity and/or visual field defects. An improved understanding of how these conditions affect the entire visual system is warranted, to better predict and/or restore the visual loss. In this article, we review visually-driven functional magnetic resonance imaging (fMRI) studies of optic neuropathies, including glaucoma and optic neuritis (ON); we also discuss traumatic optic neuropathy (TON). Optic neuropathy-related vision loss results in fMRI deficit (...) within the visual cortex, and is often strongly correlated with clinical severity measures. Using predominantly flickering checkerboard stimuli, glaucoma studies indicated retinotopic-specific cortical alteration with more prominent deficits in advanced than in early glaucoma. Some glaucoma studies indicate a reorganized visual cortex. ON studies have indicated that the impacted cortical areas are briefly hyperactive. For ON, brain deficits are greater in the acute stages of the disease, followed by (near) normalization of responses of the LGN, visual cortex, and the dorsal visual stream, but not the ventral extrastriate cortex. Visually-driven fMRI is sensitive, at least in ON, in discriminating patients from controls, as well as the affected eye from the fellow eye within patients. The use of a greater variety of stimuli beyond checkerboards (e.g., visual motion and object recognition) in recent ON studies is encouraging, and needs to continue to disentangle the results in terms of change over time. Finally, visually-driven fMRI has not yet been applied in TON, although preliminary efforts suggest it may be feasible. Future fMRI studies of optic neuropathies should consider using more complex visual stimuli, and inter-regional analysis methods including functional connectivity. We suggest that a more systematic longitudinal comparison of optic neuropathies with advanced fMRI would provide improved diagnostic and prognostic information. (shrink)

Fueled by ever-growing amounts of (digital) data and advances in artificial intelligence, decision-making in contemporary societies is increasingly delegated to automated processes. Drawing from social science theories and from the emerging body of research about algorithmic appreciation and algorithmic perceptions, the current study explores the extent to which personal characteristics can be linked to perceptions of automated decision-making by AI, and the boundary conditions of these perceptions, namely the extent to which such perceptions differ across media, (public) health, and judicial (...) contexts. Data from a scenario-based survey experiment with a national sample (N = 958) show that people are by and large concerned about risks and have mixed opinions about fairness and usefulness of automated decision-making at a societal level, with general attitudes influenced by individual characteristics. Interestingly, decisions taken automatically by AI were often evaluated on par or even better than human experts for specific decisions. Theoretical and societal implications about these findings are discussed. (shrink)

Neurofibromatosis type 1 is associated with peripheral and central nervous system tumors. It is noteworthy that the regions in which these tumors frequently arise are the optic pathways and the brainstem. Thus, we decided to trace the procedure of diffusion Magnetic Resonance Imaging alterations along with Short-Wavelength Automated Perimetry examinations of the OPs after surgery and chemotherapy over 1 year, which enabled us to evaluate chemotherapy's efficacy in an NF1 patient with an OP tumor. In this study, a 25-year-old woman (...) with NF1 and left optic radiation glioma underwent surgery to remove the glioma. Immunohistochemistry revealed a Pilocytic Astrocytoma WHO grade I. Post-operation chemotherapy done using nine treatment cycles of administering Temozolomide for 5 days every 4 weeks. Applying the region of interest differential tractography method and SWAP four times every 3 months allowed us to follow the patient's visual acuity alterations longitudinally. The differential deterministic tractography method and statistical analyses enabled us to discover the white matter tracts anisotropy alterations over time. Furthermore, statistical analyses on the SWAP results along time illustrated possible alterations in visual acuity. Then, we could compare and associate the findings with the SWAP examinations and patient symptoms longitudinally. Statistical analyses of SWAP tests revealed a significant improvement in visual fields, and longitudinal differential tractography showed myelination and dense axonal packing in the left OR after 1 year of treatment. In this study, we examined an old hypothesis suggesting that chemotherapy is more effective than radiotherapy for NF1 patients with OP gliomas because of the radiation side effects on the visual field, cognition, and cerebrovascular complications. Our longitudinal clinical case study involving dMRI and SWAP on a single NF1-OPG patient showed that chemotherapy did not suppress the OP myelination over time. However, it should be noted that this is a clinical case study, and, therefore, the generalization of results is limited. Future investigations might focus on genetic-based imaging, particularly in more cases. Further, meta-analyses are recommended for giving a proper Field Of View to researchers as a subtle clue regarding precision medicine. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult to extend (...) or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

Healthcare data warehousing test automation is becoming a success through the help of AI-based technology that results in accuracy, efficiency, and data integrity on the automated test. The one central to personalized patient data that forms the core of traditional data warehousing solutions frequently faces problems of complexity and dissatisfaction. Deep learning with test automation solutions makes data ingestion, processing, and testing conversant through machine learning algorithms [1]. These systems encompass separate acts such as testing for data integration, (...) testing the quality of data as well as performance testing removing the factors of time and human error. In healthcare organizations, this approach delivers the message of enhancing quality, compliance and organizational efficiency in value-based care and precision medicine initiatives. As such, artificial intelligence tools can be used to address the essential issues regarding data warehousing, and this can in turn enhance decision-making, and thus, enhance the health of patient and the overall population. (shrink)